failure 459:
Requirement failed: {nexttowardf.09.01.01;nexttowardf.09.02.01} Function executed successfully with EOK error code, while `(isOverflow_Unifloat(model_res) && isNormal_Unifloat(x)) || ((isUnderflow_Unifloat(model_res) || isZero_Unifloat(model_res)) && (compare_Unifloat(x,y) != 0)) == true` means that ERANGE SHALL be set
| location |
| trace |
/var/opt/lsb/test/olver-core/2013-01-21_10-20-40/util_float_scenario.utz (util_float_scenario.utt), line 13832 |
| occurence |
| scenario |
util_float_scenario |
| specification function |
nexttoward_spec() |
| parameter value |
CallContext context = [pid=17999,thr=b752d6c0] |
| parameter value |
Unifloat * @x = (float) -1.4012984643248171e-45 (-0x.80000000P-148F) |
| parameter value |
Unifloat * x = (float) -1.4012984643248171e-45 (-0x.80000000P-148F) |
| parameter value |
Unifloat * @y = (long double) -1.0000000000000000000000000000000000e+00 (-0x.8000000000000000P1L) |
| parameter value |
Unifloat * y = (long double) -1.0000000000000000000000000000000000e+00 (-0x.8000000000000000P1L) |
| parameter value |
ErrorCode * @errno = EOK |
| parameter value |
ErrorCode * errno = EOK |
| return value |
(Unifloat *) (float) -2.8025969286496341e-45 (-0x.80000000P-147F) |
coverage
& branch |
C
x - normal, y - normal, x>y |
| properties |
| REQ failed |
nexttowardf.09.01.01 |
| REQ failed |
nexttowardf.09.02.01 |
| kind |
POSTCONDITION_FAILED |
similar known bug(s)
|
The nexttoward(x, y) family of functions functions shall compute the next representable
floating-point value following x in the direction of y.
According to LSB, if the correct value is subnormal or underflows then ERANGE error code
shall be set.
But on the target machine the function sets error code EOK instead of ERANGE.
|
|